-
1 regressive proof
Большой англо-русский и русско-английский словарь > regressive proof
-
2 regressive proof
Математика: регрессивное доказательство -
3 regressive proof
-
4 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
5 регрессивное доказательство
Большой англо-русский и русско-английский словарь > регрессивное доказательство
См. также в других словарях:
Existence (Philosophy of) 2 — Philosophy of existence 2 Sartre Thomas R.Flynn Born 21 June 1905, in Thiviers (Dordogne), Jean Paul Sartre was raised in the Parisian home of his widowed mother’s parents. After his mother’s remarriage, he spent several years with her and his… … History of philosophy
FairTax — Part of a series on Taxation Taxation in the United States … Wikipedia
List of fallacies — For specific popular misconceptions, see List of common misconceptions. A fallacy is incorrect argumentation in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Contents 1 Formal fallacies 1.1… … Wikipedia
tax — A charge by the government on the income of an individual, corporation, or trust, as well as the value of an estate or gift. The objective in assessing the tax is to generate revenue to be used for the needs of the public. A pecuniary burden laid … Black's law dictionary
Münchhausen Trilemma — The Münchhausen Trilemma (after Baron Münchhausen, who allegedly pulled himself (and the horse he was sitting on) out of a swamp by his own hair), also called Agrippa s Trilemma (after Agrippa the Skeptic), is a philosophical term coined to… … Wikipedia
Supply-side economics — is an arguably heterodox school of macroeconomic thought that argues that economic growth can be most effectively created using incentives for people to produce (supply) goods and services, such as adjusting income tax and capital gains tax rates … Wikipedia
Milton, John — born Dec. 9, 1608, London, Eng. died Nov. 8, 1674, Chalfont St. Giles, Buckinghamshire English poet. A brilliant youth, Milton attended Cambridge University (1625–32), where he wrote poems in Latin, Italian, and English; these included L Allegro… … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
Predicted effects of the FairTax — The Fair Tax Act (USBill|110|HR|25/USBill|110|S|1025) is a bill in the United States Congress for changing tax laws to replace the Internal Revenue Service (IRS) and all federal income taxes (including Alternative Minimum Tax), payroll taxes… … Wikipedia
Australian tort law — Tort law in Australia is the body of precedents and, to a lesser extent, legislation, that together define the operation of tort law in Australia. A tort is a civil wrong, other than a breach of contract. Tort law is a way in which the law can… … Wikipedia
